perm filename SAILCO[D,LES]1 blob sn#488194 filedate 1979-12-12 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002				SAIL Cost Center Support
C00003 ENDMK
CāŠ—;
			SAIL Cost Center Support
			    12 Dec. 1979

  P. I.		Agency		Subject			End date   Shares (%)

Baskett		LLL	S-1 computer			Oct. 80		12
Feigenbaum	CSD	Departmental research				 1

Knuth		ONR	TEX						 2

Luckham		ARPA	Program verification				15
		NSF	 "       "					 3

McCarthy	ARPA	Basic AI & image understanding	Oct. 80		21
 + LES		ARPA	VSLI design			Jan. 83		 3
		NSF	Artificial Intelligence		Jun. 81		 4
		CASBS	AI & philosophy			Oct. 81		 3
 + RWW		NSF	Formal reasoning		Jun. 82		 2
 + TOB		NSF	Advanced automation				 9

Manna		NSF	Math. Theory of Comp.				 1
		ONR	MTC						 1
									--
									77